281. Collected works,Works. English & German. 5891
پدیدآورنده : Godel, Kurt
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
G5313
1986
282. Collegium Logicum: annals of the Kurt-Godel-Society
پدیدآورنده :
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Logic,Congresses ، Logic, Symbolic and mathematical,Congresses ، Automatic theorem proving
رده :
QA
9
.
A1
C58
283. Collegium logicum : annals of the Kurt-Godel society
پدیدآورنده :
کتابخانه: (طهران)
موضوع : Periodicals ، Logic, Symbolic and mathematical
رده :
QA
9
.
C64
284. Combinatorial Set Theory
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Logic, Symbolic and mathematical. ; Mathematical Logic and Foundations. ;
285. Combinatorics, complexity, and logic: proceedings of DMTCS'96
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : Congresses ، Combinatorial analysis,Congresses ، Computational complexity,Congresses ، Logic, Symbolic and mathematical
رده :
QA
164
.
D62
1997
286. Combinatorics, complexity, & logic : proceedings of DMTCS'96
پدیدآورنده : D.S. Bridges...]et al.[
کتابخانه: (طهران)
موضوع : Congresses ، Combinatorial analysis,Congresses ، Computational complexity,Congresses ، Logic, Symbolic and mathematical
رده :
QA
164
.
D6
1996
287. Combinatorics, computability, and logic : proceedings of the Third International Conference on Combinatorics, Computability, and Logic, )DMTCS '01(
پدیدآورنده : C.S. Calude, M.J. Dinneen, and S. Sburlan )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Combinatorial analysis,Congresses ، Computational complexity,Congresses ، Logic, Symbolic and mathematical
رده :
QA
164
.
D6
2001
288. Combinatory logic
پدیدآورنده : Curry, Haskell Brooks
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
36
.
C8
289. Commonsense Reasoning
پدیدآورنده : \ Erik T. Mueller, IBM Watson Group and IBM Research.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Commonsense reasoning-- Automation.,Artificial intelligence-- Mathematics.,Logic, Symbolic and mathematical-- Data processing.,استدلال عام -- خودکاری
رده :
E-Book
,
290. Communication: a logical model
پدیدآورنده : Harrah, David
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Logic, Symbolic and mathematical,، Content analysis )Communication(,، Information theory
رده :
BC
135
.
H33
291. Completeness, compactness, and undecidability : an introduction to mathematical logic
پدیدآورنده : Manaster, Alfred B
موضوع : ، Logic, Symbolic and mathematical,، Predicate calculus
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
292. Comprendre la logique moderne
پدیدآورنده : Chenique, Francois
کتابخانه: (طهران)
موضوع : ، Logic, Symbolic and mathematical
رده :
BC
135
.
C354
293. Computability and logic
پدیدآورنده : Boolos, George.
کتابخانه: كتابخانه تخصصي لاتين پژوهشگاه علوم و فرهنگ اسلامي (دفتر تبليغات اسلامي حوزه علمیه قم) (قم)
موضوع : ، Computable functions,، Recursive functions,، Logic, Symbolic and mathematical.
رده :
QA
9
.
59
.
B6C6
294. Computability and logic
پدیدآورنده :
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Computable functions,Recursive functions,Logic, Symbolic and mathematical
رده :
QA9
.
59
.
B66
2002
295. Computability and logic
پدیدآورنده :
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Computable functions,Recursive functions,Logic, Symbolic and mathematical
رده :
E-BOOK
296. Computability and logic
پدیدآورنده : Cohen, Daniel E.
کتابخانه: (طهران)
موضوع : ، Computable functions,، Logic, Symbolic and mathematical
رده :
QA
9
.
59
.
C64
1987
297. Computability and logic
پدیدآورنده : Boolos, George S., 0491-6991
کتابخانه: (طهران)
موضوع : ، Computable functions,، Recursive functions,، Logic, Symbolic and mathematical
رده :
QA
9
.
59
.
B66C6
298. Computability and logic
پدیدآورنده : Boolos, George
موضوع : ، Computable functions,، Recursive functions,، Logic, Symbolic and Mathematical
۴ نسخه از این کتاب در ۴ کتابخانه موجود است.
299. Computability and logic
پدیدآورنده :
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Computable functions,Recursive functions,Logic, Symbolic and mathematical
رده :
QA9
.
59
.
B66
2002